Equivalent Transformation of Member Constraints on Interval-Variable Domain
نویسندگان
چکیده
منابع مشابه
Interval Constraints
Interval constraint processing is an alternative technology designed to process sets of (generally non-linear) continuous or mixed constraints over the real numbers. It associates propagation and search techniques developed in artiicial intelligence and methods from interval analysis. Interval constraints are used in the design of the constraint solving and optimization engines of most modern c...
متن کاملEffect Estimation Method of Parallel Computing Based on Dynamic Generation of Equivalent Transformation Rules Dynamic Generation of Equivalent Transformation Rules
Recent studies in parallel computing have mainly focused on physically producing multiple computing sites for computational speed-up and not considered theories and methodologies, which are the essence of parallel computing, and correctness as well. It means that the studies have mostly considered cost-effectiveness, that is, how many computing sites are produced determines how much computing s...
متن کاملAbout equivalent interval colorings of weighted graphs
Given a graph G = (V,E) with strictly positive integer weights ωi on the vertices i ∈ V , a k-interval coloring of G is a function I that assigns an interval I(i) ⊆ {1, · · · , k} of ωi consecutive integers (called colors) to each vertex i ∈ V . If two adjacent vertices x and y have common colors, i.e. I(i)∩ I(j) 6= ∅ for an edge [i, j] in G, then the edge [i, j] is said conflicting. A k-interv...
متن کاملFactorizing Equivalent Variable Pairs inROBDD -
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitable domain for capturing the kind of dependencies arising in groundness analysis, and Reduced Ordered Binary Decision Diagrams (ROBDDs) are generally accepted to be the most eecient representation for Pos. Unfortunately,...
متن کاملComputing tolerance interval for binomial random variable
Tolerance interval is a random interval that contains a proportion of the population with a determined confidence level and is applied in many application fields such as reliability and quality control. In this educational paper, we investigate different methods for computing tolerance interval for the binomial random variable using the package Tolerance in statistical software R.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Japanese Society for Artificial Intelligence
سال: 2002
ISSN: 1346-0714,1346-8030
DOI: 10.1527/tjsai.17.23